Ibn Sina on Analysis: 1. Proof Search. Or: Abstract State Machines as a Tool for History of Logic

نویسنده

  • Wilfrid Hodges
چکیده

State Machines as a tool for

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Critical Examination of Ibn-Sina’s Theory of the Conditional Syllogism

This paper will examine Ibn Sina’s theory of the Conditional Syllogism from a purely logical point of view, and will lay bare the principles he adopted for founding his theory, and the reason why the newly introduced part of his logic remained undeveloped and eventually was removed from the texts of logic in the later Islamic tradition. As a preliminary discussion, this paper briefly examines I...

متن کامل

An Analysis of Historical Vignettes by Ibn Sina in the Canon of Medicine on the Structure and Function of the Cardiorespiratory Apparatus.

Ibn Sina is regarded as one of the greatest physicians, thinkers and medical scholars in the history of medicine. Ibn Sina, a Persian scholar in the medieval era, wrote a famous book of medicine, the Canon of Medicine. The book was adopted as the main textbook of medicine in most Western and Persian universities. In the present critique, we analyzed the functional and anatomic descriptions of t...

متن کامل

Ibn Sina (Avicenna) on the Subject of Metaphysics

"Ibn Sina (Arabic), also known as Avicenna (Latin) and Abu Ali Sina (Persian) was the most original and systematic Muslim philosopher. In this light he is mentioned by two celebrated historians of medieval western philosophy: A. Maurer states, "...his [ibn Sina's] philosophy is a highly personal achievement, ranking among the greatest in the history of philosophy;" and F. Copleston holds, "The ...

متن کامل

Dualism of the Soul and the Body in the Philosophical System of Ibn Sīnā and Descartes

The problem of human's two domains has a significant influence on human knowledge, and since the human privilege in the universe to the other beings as well as the immateriality of the soul and so on is based on proving the soul's substance separately, it worths to search in this issue about the ideas of two Western and Islamic philosophers. Ibn Sīnā with arguments such as the "suspending man" ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010